流域水电开发生态环保全过程管理探索

近年来,我国生态文明建设形势发生了根本性变化,国家对水电开发提出了更高的生态环保要求,只有加强建设项目环境影响评价事中事后的监管,才能形成了水电开发与生态环境和谐发展的流域水电开发新格局。笔者结合工程实际,从环保规划、体系建设、专项设计、措施落实、监督管理等角度,分析金沙江上游川藏段水电开发生态环保全过程管理的探索性工作,总结了建设单位强化自我监管、全面保障环保措施落实取得的初步成效,对推进“绿色水电”发展具有重要意义。     

白鹤滩水电站转轮加工厂防洪度汛管理措施

白鹤滩转轮由于直径太大和运输条件的限制,选择了在工区内新建转轮加工厂进行现场组装焊接.因白鹤滩地理位置和气候条件,白鹤滩转轮现地制造,紧临高边坡的厂房和转轮室外地存在雨季安全度汛的风险.为此,我们深入研究了白鹤滩的气候特征,转轮加工厂房的地理特点,厂房临高边坡加固,地面硬化,全部厂房排水及其设计原则,制定了防洪度汛的安全管理措施,确保了白鹤滩转轮现地制造的安全。     

白浮泉形成及断流原因分析

本研究在分析已有资料的基础上,通过资料分析和水化学测试,查明白浮泉主要接受东北部兴寿地区同一含水层顺层流动补给和北部十三陵地区地表水沿大宫门古河道补给,在化庄地区水流受相对隔水层阻挡,沿山前基岩破碎带排泄形成的.随着区域大气降水的减少和十三陵水库采取的防渗措施,以及地下水开采量增加,白浮泉接受的补给量大幅减少,导致其断流.本研究通过资料搜集、水化学分析等手段查明了白浮泉形成和断流原因,为白浮泉复涌提供了基础资料支撑.     

复杂系统维护策略最新研究进展: 从视情维护到预测性维护

对于复杂、可修复的工程系统, 设备维护是确保系统安全性、可靠性、可用性的重要手段之一. 系统维护策略已经历修复性维护、定时维护、视情维护等多种维护策略. 其中, 视情维护是目前最受关注的维护策略, 它通过收集和评估系统的实时状态信息进行维护决策, 具有全寿命周期内系统可靠性高、运营维护成本低等优点. 近年来, 随着物联网技术、信息技术和人工智能的快速发展, 一种更新颖的视情维护策略——预测性维护逐渐成为领域研究热点. 本文首先简要回顾了系统维护策略的发展历程; 然后, 重点介绍了视情维护的研究进展, 根据决策支持技术的不同, 将视情维护划分为基于随机退化模型的视情维护和基于数据驱动的预测性维护, 对每类技术的发展分支与研究现状进行了疏理、分析和总结; 最后, 探讨了当前复杂系统维护策略面临的挑战性问题和可能的未来研究方向.     

一种面向数据可用性和存储可靠性动态要求的自适应纠删码存储策略设计

为了满足指数级增长的大数据存储需求,现代的分布式存储系统需要提供大容量的存储空间以及快速的存储服务.因此在主流的分布式存储系统中,均应用了纠删码技术以节约数据中心的磁盘成本,保证数据的可靠性,并且满足应用程序和客户端的快速存储需求.在实际应用中数据往往重要程度并不相同,对数据可用性要求不一,且不同磁盘的故障率和可靠性动态不一的特点,对于传统RAID存储方式包括基于纠删码的存储系统提出了新的挑战.本文提出了一种面向数据可用性和磁盘可靠性动态要求的灵活自适应纠删码存储设计On-demand ARECS(On-demand Availability and Reliability Oriented Adaptive Erasure Coded Storage System),根据存储后端数据可用性和磁盘可靠性的多个维度进行设计,综合确定纠删码编码策略和存储节点选择,从而减少存储冗余度和存储延迟,同时提高数据可用性和存储可靠性.我们在Tahoe-LAFS开源分布式文件系统中进行了实验,实验结果验证了我们的理论分析,在保证具有多样性要求的数据可用性和磁盘可靠性的前提下,明显减少了数据冗余度和存储延迟.     

信息安全在物联网时代面临的挑战

物联网安全研究主要集中在物联网安全体系、物联网个体隐私保护模式、物联网安全相关法律的制定等方面。首先举例说明物联网在智能电网等生产生活领域的应用,然后讨论了物联网安全技术架构。最后根据物联网的安全架构分析了物联网安全面临的挑战。由此警示我们应提早应对物联网发展带来的信息安全等挑战。     

物联网在通用布缆工程监理中的应用

传统的通用布缆工程实施阶段的监理,存在现场施工情况监视困难、监理人员旁站时间长、监理数据搜集不全面等现象,而信息技术手段的应用则是解决问题的关键。通过对当前通用布缆工程实施阶段监理中存在的问题进行分析,提出将物联网技术应用于通用布缆工程监理中的构想,并就该应用的原理与架构以及意义进行阐述,以期在通用布缆工程监理自动化和智能化方面作出有益的探索。     

基于混沌优化与人工鱼群算法的混合算法研究

针对人工鱼群算法和混沌优化算法的特点,将人工鱼群算法与混沌优化算法相结合提出一种混合算法。此混合算法是利用混沌变量敏感性来提高人工鱼群初始群体解的质量;然后利用混沌的遍历性和随机性扰动使鱼群算法摆脱局部极值点,提高全局收敛性。仿真实验结果表明了混合算法的有效性。最后,给出了在一定条件下提出的混合算法的收敛性证明。     

基于改进蚁群算法的模糊控制器优化设计

研究控制器优化问题,由于模糊控制系统参数无法同时优化,使得系统选择参数困难,使系统控制效果存在一定的缺陷,安全性和可靠性降低。为解决上述问题,提出了一种多种群进化蚁群算法对模糊控制器优化设计。采用懒蚂蚁效应的改进蚁群算法进行优化,在传统蚁群算法的基础上,采用多个种群并行,对算法的初始化、路径构建以及信息素更新改进,并引入到模糊控制器的隶属函数、模糊规则的优化搜索中,搜索出适应于不同控制阶段的模糊控制器参数及控制规则,并进行仿真。仿真结果证明了改进算法对模糊控制器的参数具有良好的搜索速度和精度,使系统有很强的鲁棒性。     

基于不变式生成的循环停机性验证

循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性关系,循环不变式能够有效刻画循环中的变量关系。本文基于线性不变式和多项式循环不变式的生成,将循环的停机性验证转化为求解一个最优化问题,给出了一个实用的程序停机性验证框架。基于该框架可以自动地验证程序的停机性,并给出循环的复杂度上界。实验结果说明了该方法的实用性。